Nuprl Definition : exp
11,40
postcript
pdf
exp(
i
;
n
) == primrec(
n
;1;
x
,
y
.
i
*
y
)
latex
Definitions
primrec(
n
;
b
;
c
)
,
#$n
,
x
.
A
(
x
)
,
n
*
m
FDL editor aliases
exp
origin
x,y. i * y) x,y. i * y) x.A(x)